21. Beginning Ada Programming
پدیدآورنده: Andrew T. Shvets.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Ada (Computer program language),Ada (Computer program language)
رده :
QA76
.
73
.
A35
22. Beyond calculation :
پدیدآورنده: Peter J. Denning, Robert M. Metcalfe ; foreword by James Burke.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computers.,Electronic data processing.,prospective informatique.,révolution informatique.,technologie informatique.
رده :
QA76
.
D348
1997
23. Formal Development of Programs and Proofs
پدیدآورنده: Edited By Edsger W. Dijkstra
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع: Electronic Dijital Computers- Programming- Congresses
رده :
QA
،
76
.
6
،.
F657
،
1990
24. Formal development of programs and proofs
پدیدآورنده: edited by Edsger W. Dijkstra
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع: ، Electronic digital computers- Programming- Congresses
رده :
QA
76
.
6
.
F657
1990
25. Methode van programmeren. English,A method of programming
پدیدآورنده: Edsger W. dijkstra, W. H. Feijen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (آذربایجان شرقی)
موضوع: Electronic digital computers - Programming
رده :
QA
,
76
.
6
,.
D5513
,
1988
26. On the shape of mathematical arguments
پدیدآورنده: Gasteren, Antonetta J. M.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Proof theory
رده :
QA
9
.
54
.
G37
1990
27. On the shape of mathematical arguments
پدیدآورنده: / A.J.M. van Gasteren
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory.
رده :
QA
,
9
.
54
,.
G37
,
1990
28. Predicate calculus and program semantics
پدیدآورنده: Dijkstra, Edsger W
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Predicate calculus ► Programming languages(Electronic computers)- Semantics
رده :
D575p
29. Predicate calculus and program semantics
پدیدآورنده: Edsger W. Dijkstra, Carel S. Scholten
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Predicate calculus,، Programming languages )Electronic computers( -- Semantics
رده :
QA
9
.
35
.
D55
1989
30. Selected writings on computing :
پدیدآورنده: Edsger W Dijkstra
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع:
رده :
QA76
.
24
E374
2011
31. Selected writings on computing : a personal perspective
پدیدآورنده: / Edsger W. Dijkstra
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Electronic data processing - Addresses, essays, lectures,Computers - Addresses, essays lectures,Programming (Electronic computers) - Addresses, essays, lectures
رده :
QA76
.
24
.
D54
1982
32. Selected writings on computing : a personal perspective
پدیدآورنده: Edsger W. Dijkstra
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Addresses, essays, lectures ، Electronic data processing,Addresses, essays, lectures ، Computers,Addresses, essays, lectures ، Computer programming
رده :
QA
76
.
24
.
D54
1982
33. Structured Programming
پدیدآورنده: \ O.J. Dahl, E. W. Dijkstra, C. A. R. Hoare.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Computer programming.
رده :
E-Book
,
34. Structured programming
پدیدآورنده: / (by) O.-J. Dahl, E. W. Dijkstra (and) C. A. R. Hoare
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Structured programming
رده :
QA
76
.
6
.
D33
35. Structured programming
پدیدآورنده: / O.-J. Dahl, E. W. Dijkstra, C. A. R. Hoare
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع: Structured programming
رده :
QA76
.
6
.
D33
36. Structured programming
پدیدآورنده: / [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Structured programming
رده :
QA
76
.
6
.
D33
1972
37. Structured programming,
پدیدآورنده: [by] O.-J. Dahl, E. W. Dijkstra [and] C. A. R. Hoare
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computer programming
رده :
QA76
.
6
.
D33
38. method of programming
پدیدآورنده: Dijkstra, Edsger W
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Electronic digital computers- Programming
رده :
D575m
